dimension of sum of subspace